DataRecordCoinductive.agda:36,16-22
Pattern matching on coinductive types is not allowed
when checking that the pattern x ∷ xs has type Cons A
